| emsoft | participants

Jörg Brauer

EMSOFT 2011: 11th International Conference on Embedded Software

Precise Control Flow Reconstruction using Boolean Logic